package ch.epfl.lara.fdsolver

object FDSolver with Application {
    // TODO
    // val prgm = SSA(TypeChecker(Parser(inputFile)))

    def errorCode = "somecode"
        /* val y = 32
         * if (x > y)
         *   x1 = x - y
         */

    def queens = "blah blah"

    println("Error containing code:")
    println("\t"+someCode)
    
    println("Subject to condition: ")
    println("\tx1 > 0")

    ExtDPLL(errorCode)

    println("8-Queens problem")
    println("\tNo code")

    println("Subject to conditions")
    println("\tFor all i in 1..8")
    println("\t\tFor all j != i")
    println("\t\t\tx_i != x_j")
    println("\t\t\ty_i != y_j")
    println("\t\t\tabs(x_i - x_j) != abs(y_i - y_j)")

    ExtPLL(queens)
}
